A note on the computational cost of the linearizer algorithm for queueing networks

Linearizer is one of the best known approximation algorithms for obtaining numeric solutions for product form queueing networks. In the original exposition of Linarizer, the computational cost was started to be O(MK³) for a model with M queues and K job classes. We show in this note that with som stright forward algebraic manipulation Linearizer can be modified to require only O (MK²) computational cost.Linearizer é um dos mais conhecidos algoritmos de aproximação para se obter soluções numéricas para redes de filas em solução em forma de produto. Na explanação original de Linearizer, o custo computacional foi mostrado ser de O(MK³) para um modelo com M filas e K classes de jobs. Nesta nota mostramos que, com algumas manipulações algébricas simples, Linearizer pode ser modificado de tal maneira que o custo computacional seja reduzido para O(MK²)

Queueing networks: solutions and applications

During the pasttwo decades queueing network models have proven to be a versatile tool for computer system and computer communication system performance evaluation. This chapter provides a survey of th field with a particular emphasis on applications. We start with a brief historical retrospective which also servesto introduce the majr issues and application areas. Formal results for product form queuenig networks are reviewed with particular emphasis on the implications for computer systems modeling. Computation algorithms, sensitivity analysis and optimization techniques are among the topics covered. Many of the important applicationsof queueing networks are not amenableto exact analysis and an (often confusing) array of approximation methods have been developed over the years. A taxonomy of approximation methods is given and used as the basis for for surveing the major approximation methods that have been studied. The application of queueing network to a number of areas is surveyed, including computer system cpacity planning, packet switching networks, parallel processing, database systems and availability modeling.Durante as últimas duas décadas modelos de redes de filas provaram ser uma ferramenta versátil para avaliação de desempenho de sistemas de computação e sistemas de comunicação. Este capítulo faz um apanhado geral da área, com ênfase em aplicações. Começamos com uma breve retrospectiva histórica que serve também para introduzir os pontos mais importantes e as áreas de aplicação. Resultados formais para redes de filas em forma de produto são revisados com ênfase na modelagem de sistemas de computação. Algoritmos de computação, análise de sensibilidade e técnicas de otimização estão entre os tópicos revistos. Muitas dentre importantes aplicações de redes de filas não são tratáveis por análise exata e uma série (frequentemente confusa) de métodos de aproximação tem sido desenvolvida. Uma taxonomia de métodos de aproximação é dada e usada como base para revisão dos mais importantes métodos de aproximação propostos. Uma revisão das aplicações de redes de filas em um número de áreas é feita, incluindo planejamento de capacidade de sistemas de computação, redes de comunicação por chaveamento de pacotes, processamento paralelo, sistemas de bancos de dados e modelagem de confiabilidade

An object oriented methodology for the specification of Markov models

Modelers wish to specify their models in a symbolic, high level languae while analytic tecqniques require a low level, numerical representation. The translation between these description levels is a major problem. We describe a simple, but surprisingly powerfulapproach to specifying system level models based on an object oriented paradigm. This basic approach will be shown to have significant advantages in that it provides the basis for a modular, extensible modeling tools. With this methodology, modeling tools can be quickly and easily tailored to particular application domains. An implementation in Prolog of a system based on this methodology is described and some example applications are given. The advantages of Prolog as an implementation language are also discussedÉ desejável a especificação de modelos de sistemas de computação em uma linguagem simbólica de alto nível. Entretanto, técnicas analíticas requerem uma representação numérica de baixo nível. A tradução entre estes níveis de descrição é um grave problema. Neste artigo, descrevemos um método simples, mas surpreendentemente poderoso para especificação de modelos a nível de sistema, baseado em um modelo orientado a objeto. Mostraremos que este método básico possui vantagens significativas pois fornece a base para o desenvolvimento de ferramentas modulares que podem ser estendidas. Com esta metodologia, ferramentas de modelagem podem ser facilmente e rapidamente talhadas para um determinado domínio de aplicação. Um a implementação em Prolog de um sistema baseado nesta metodologia é descrita e alguns exemplos são incluídos. As vantagens de se usar Prolog de um sistema baseado nesta metodologia é descrita e alguns exemplos são incluídos. As vantagens de se usar Prolog coo uma linguagem de implementação são também discutidas

Runtime Dynamics in Collaborative Systems

The importance of supporting flexible roles and dynamic policies has long been recognized in the CSCW (Computer-Supported Cooperative Work) literature but unfortunately never with a systematic solution. This paper proposes a taxonomy of runtime dynamics in collaborative systems in general and discusses our solution in the COCA framework. Firstly, individual participants can take roles, drop roles, and switch between roles as a collaboration runs. Secondly, a role can be transferred from one participant to another at runtime. Thirdly, session-wide, authorized participants can change the definition of roles and coordination policies on the fly while keeping the mapping between roles and participants. When such changes happen on the fly, the runtime environment of the sites which are potentially affected, including the state information within the computation modules and the communication channels, must be handled properly according to the semantics of the collaboration itself. Keywords-..

A New Class of Non-Iterative Bounds for Closed Queueing Networks

A new emerging class of problems related to the online configuration and optimization of computer systems and networks requires the solution in a very short amount of time of a large number of analytical performance models, often based on queueing networks. In this paper we propose the Geometric Bounds (GB), a new family of fast noniterative bounds on performance metrics of closed productform queueing networks. In spite of their simplicity, the proposed bounds are more accurate than the popular Balanced Job Bounds (BJB), even in the difficult case of networks with multiple bottlenecks or large delays